More from this Author

Interactive Systems Design - Design, Specification, and Verification

by Joaquim A. Jorge (Editor), Nuno Jardim Nunes (Editor), João Falcão e Cunha

UML Modeling Languages and Applications

by Nuno Jardim Nunes (Editor), Bran Selic (Editor), Alberto Rodrigues da Silva (Editor), Ambrosio Toval Alvarez (Editor)